科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:动态行为的时态逻辑建模:一阶模式和求解器
Fages, François; Traynard, Pauline;
机译:用于查询蜂窝交互网络动态模型的时间逻辑模式。
机译:用于查询蜂窝交互网络动态模型的时间逻辑模式
机译:基于一阶逻辑的软件性能反模式建模与检测方法
机译:使用一阶逻辑确定和应用解决方案解决重组部署模型中检测到问题的方法
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:溶剂化对尿嘧啶的静态和动态一阶电子和振动超极化性的影响:极化连续谱模型研究
机译:一阶谓词逻辑模型理论及相关时态逻辑
机译:基于计算机的动态机械动力学行为建模涉及迭代求解线性结构动力学模型,该模型考虑了在相等时间间隔内分步进行的弹簧-弹性联轴器
机译:从行为描述创建和验证电子设计的结构逻辑模型的方法和系统,包括逻辑和时序模型的生成
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。